complete predicate

完备[全]谓词